This is DVItype, Version 2.7
Options selected:
  Starting page = * 
  Maximum number of pages = 1000000
  Output level = 3 (the works)
  Resolution =  300.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000;       0.00006334 pixels per DVI unit
' TeX output 1984.11.29:1243'
Postamble starts at byte 354.
maxv=43725786, maxh=30785863, maxstackdepth=2, totalpages=1
Font 15: amsy7---loaded at size 458752 DVI units 
Font 0: amr10---loaded at size 655360 DVI units 
 
42: beginning of page 1 
87: push 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
88: down3 -917504 v:=0-917504=-917504, vv:=-58 
92: pop 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
93: down4 42152922 v:=0+42152922=42152922, vv:=2670 
98: push 
level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=2670) 
99: down4 -41497562 v:=42152922-41497562=655360, vv:=42 
104: push 
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=42) 
105: right3 1310720 h:=0+1310720=1310720, hh:=83 
[ ]
109: fntdef1 0: amr10 
130: fntnum0 current font is amr10 
131: setchar65 h:=1310720+491520=1802240, hh:=114 
132: setchar66 h:=1802240+464213=2266453, hh:=143 
133: setchar67 h:=2266453+473315=2739768, hh:=173 
134: w3 218453 h:=2739768+218453=2958221, hh:=187 
138: setchar68 h:=2958221+500622=3458843, hh:=219 
139: setchar69 h:=3458843+446008=3904851, hh:=247 
140: setchar70 h:=3904851+427804=4332655, hh:=274 
141: w0 218453 h:=4332655+218453=4551108, hh:=288 
142: setchar71 h:=4551108+514275=5065383, hh:=321 
143: setchar72 h:=5065383+491520=5556903, hh:=352 
144: setchar73 h:=5556903+236657=5793560, hh:=367 
145: w0 218453 h:=5793560+218453=6012013, hh:=381 
146: setchar74 h:=6012013+336782=6348795, hh:=402 
147: setchar75 h:=6348795+509724=6858519, hh:=434 
148: setchar76 h:=6858519+409600=7268119, hh:=460 
149: setchar77 h:=7268119+600746=7868865, hh:=498 
150: w0 218453 h:=7868865+218453=8087318, hh:=512 
151: setchar78 h:=8087318+491520=8578838, hh:=543 
152: setchar79 h:=8578838+509724=9088562, hh:=575 
153: setchar80 h:=9088562+446008=9534570, hh:=603 
154: w0 218453 h:=9534570+218453=9753023, hh:=618 
155: setchar81 h:=9753023+509724=10262747, hh:=650 
156: setchar82 h:=10262747+482417=10745164, hh:=681 
157: setchar83 h:=10745164+364088=11109252, hh:=704 
158: w0 218453 h:=11109252+218453=11327705, hh:=718 
159: setchar84 h:=11327705+473315=11801020, hh:=748 
160: setchar85 h:=11801020+491520=12292540, hh:=779 
161: setchar86 h:=12292540+491520=12784060, hh:=810 
162: w0 218453 h:=12784060+218453=13002513, hh:=824 
163: setchar87 h:=13002513+673564=13676077, hh:=867 
164: setchar88 h:=13676077+491520=14167597, hh:=898 
165: setchar89 h:=14167597+491520=14659117, hh:=929 
166: setchar90 h:=14659117+400497=15059614, hh:=954 
[ABC DEF GHI JKLM NOP QRS TUV WXYZ]
167: pop 
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=42) 
168: y3 786432 v:=655360+786432=1441792, vv:=91 
172: push 
level 1:(h=0,v=1441792,w=0,x=0,y=786432,z=0,hh=0,vv=91) 
173: right3 1310720 h:=0+1310720=1310720, hh:=83 
177: setchar97 h:=1310720+327680=1638400, hh:=104 
178: setchar98 h:=1638400+364088=2002488, hh:=127 
179: right2 18204 h:=2002488+18204=2020692, hh:=128 
182: setchar99 h:=2020692+291271=2311963, hh:=146 
183: w3 218453 h:=2311963+218453=2530416, hh:=160 
187: setchar100 h:=2530416+364088=2894504, hh:=183 
188: setchar101 h:=2894504+291271=3185775, hh:=201 
189: setchar102 h:=3185775+200248=3386023, hh:=214 
190: w0 218453 h:=3386023+218453=3604476, hh:=228 
191: setchar103 h:=3604476+327680=3932156, hh:=249 
192: setchar104 h:=3932156+364088=4296244, hh:=272 
193: setchar105 h:=4296244+182044=4478288, hh:=284 
194: w0 218453 h:=4478288+218453=4696741, hh:=297 
195: setchar106 h:=4696741+200248=4896989, hh:=310 
196: setchar107 h:=4896989+345884=5242873, hh:=332 
197: setchar108 h:=5242873+182044=5424917, hh:=344 
198: setchar109 h:=5424917+546133=5971050, hh:=379 
199: w0 218453 h:=5971050+218453=6189503, hh:=392 
200: setchar110 h:=6189503+364088=6553591, hh:=415 
201: setchar111 h:=6553591+327680=6881271, hh:=436 
202: setchar112 h:=6881271+364088=7245359, hh:=459 
203: w0 218453 h:=7245359+218453=7463812, hh:=473 
204: setchar113 h:=7463812+345884=7809696, hh:=495 
205: setchar114 h:=7809696+258958=8068654, hh:=511 
206: setchar115 h:=8068654+258503=8327157, hh:=527 
207: w0 218453 h:=8327157+218453=8545610, hh:=541 
208: setchar116 h:=8545610+254862=8800472, hh:=557 
209: setchar117 h:=8800472+364088=9164560, hh:=580 
210: setchar118 h:=9164560+345884=9510444, hh:=602 
211: w0 218453 h:=9510444+218453=9728897, hh:=616 
212: setchar119 h:=9728897+473315=10202212, hh:=646 
213: setchar120 h:=10202212+345884=10548096, hh:=668 
214: setchar121 h:=10548096+345884=10893980, hh:=690 
215: setchar122 h:=10893980+291271=11185251, hh:=708 
[ abc def ghi jklm nop qrs tuv wxyz]
216: pop 
level 1:(h=0,v=1441792,w=0,x=0,y=786432,z=0,hh=0,vv=91) 
217: y0 786432 v:=1441792+786432=2228224, vv:=141 
218: push 
level 1:(h=0,v=2228224,w=0,x=0,y=786432,z=0,hh=0,vv=141) 
219: right3 1310720 h:=0+1310720=1310720, hh:=83 
223: setchar48 h:=1310720+327680=1638400, hh:=104 
224: setchar49 h:=1638400+327680=1966080, hh:=125 
225: setchar50 h:=1966080+327680=2293760, hh:=146 
226: setchar51 h:=2293760+327680=2621440, hh:=167 
227: setchar52 h:=2621440+327680=2949120, hh:=188 
228: setchar53 h:=2949120+327680=3276800, hh:=209 
229: setchar54 h:=3276800+327680=3604480, hh:=230 
230: setchar55 h:=3604480+327680=3932160, hh:=251 
231: setchar56 h:=3932160+327680=4259840, hh:=272 
232: setchar57 h:=4259840+327680=4587520, hh:=293 
[ 0123456789]
233: pop 
level 1:(h=0,v=2228224,w=0,x=0,y=786432,z=0,hh=0,vv=141) 
234: y0 786432 v:=2228224+786432=3014656, vv:=191 
235: push 
level 1:(h=0,v=3014656,w=0,x=0,y=786432,z=0,hh=0,vv=191) 
236: right3 1310720 h:=0+1310720=1310720, hh:=83 
[ ]
240: fntdef1 15: amsy7 
261: fntnum15 current font is amsy7 
262: setchar65 h:=1310720+364088=1674808, hh:=106 
263: setchar66 h:=1674808+315847=1990655, hh:=126 
264: setchar67 h:=1990655+340605=2331260, hh:=148 
265: setchar68 h:=2331260+309111=2640371, hh:=168 
266: setchar69 h:=2640371+291271=2931642, hh:=186 
267: setchar70 h:=2931642+272156=3203798, hh:=203 
268: setchar71 h:=3203798+369095=3572893, hh:=226 
269: setchar72 h:=3572893+334961=3907854, hh:=247 
270: setchar73 h:=3907854+276707=4184561, hh:=265 
271: setchar74 h:=4184561+257593=4442154, hh:=281 
272: setchar75 h:=4442154+393215=4835369, hh:=306 
273: setchar76 h:=4835369+393215=5228584, hh:=331 
274: setchar77 h:=5228584+509724=5738308, hh:=363 
275: setchar78 h:=5738308+393215=6131523, hh:=388 
276: setchar79 h:=6131523+359537=6491060, hh:=411 
277: setchar80 h:=6491060+286720=6777780, hh:=429 
278: setchar81 h:=6777780+451470=7229250, hh:=458 
279: setchar82 h:=7229250+422343=7651593, hh:=485 
280: setchar83 h:=7651593+289450=7941043, hh:=503 
281: setchar84 h:=7941043+316029=8257072, hh:=523 
282: setchar85 h:=8257072+359719=8616791, hh:=546 
283: setchar86 h:=8616791+359719=8976510, hh:=569 
284: setchar87 h:=8976510+447101=9423611, hh:=597 
285: setchar88 h:=9423611+393215=9816826, hh:=622 
286: setchar89 h:=9816826+369732=10186558, hh:=645 
287: setchar90 h:=10186558+393215=10579773, hh:=670 
[ABCDEFGHIJKLMNOPQRSTUVWXYZ]
288: pop 
level 1:(h=0,v=3014656,w=0,x=0,y=786432,z=0,hh=0,vv=191) 
289: y0 786432 v:=3014656+786432=3801088, vv:=241 
290: push 
level 1:(h=0,v=3801088,w=0,x=0,y=786432,z=0,hh=0,vv=241) 
291: right3 1310720 h:=0+1310720=1310720, hh:=83 
295: setchar97 h:=1310720+334961=1645681, hh:=104 
296: setchar98 h:=1645681+247580=1893261, hh:=120 
297: setchar99 h:=1893261+247580=2140841, hh:=136 
298: setchar100 h:=2140841+247580=2388421, hh:=152 
299: setchar101 h:=2388421+247580=2636001, hh:=168 
300: setchar102 h:=2636001+276707=2912708, hh:=186 
301: setchar103 h:=2912708+276707=3189415, hh:=204 
302: setchar104 h:=3189415+218453=3407868, hh:=218 
303: setchar105 h:=3407868+218453=3626321, hh:=232 
304: setchar106 h:=3626321+160198=3786519, hh:=242 
305: setchar107 h:=3786519+276707=4063226, hh:=259 
306: setchar108 h:=4063226+276707=4339933, hh:=277 
307: setchar109 h:=4339933+334961=4674894, hh:=298 
308: setchar110 h:=4674894+262143=4937037, hh:=315 
309: setchar111 h:=4937037+160198=5097235, hh:=325 
310: setchar112 h:=5097235+444188=5541423, hh:=353 
311: setchar113 h:=5541423+404866=5946289, hh:=379 
312: setchar114 h:=5946289+451470=6397759, hh:=407 
313: setchar115 h:=6397759+276707=6674466, hh:=425 
314: setchar116 h:=6674466+364088=7038554, hh:=448 
315: setchar117 h:=7038554+364088=7402642, hh:=471 
316: setchar118 h:=7402642+422343=7824985, hh:=498 
317: setchar119 h:=7824985+422343=8247328, hh:=524 
318: setchar120 h:=8247328+247580=8494908, hh:=540 
319: setchar121 h:=8494908+247580=8742488, hh:=556 
320: setchar122 h:=8742488+247580=8990068, hh:=571 
[ abcdefghijklmnopqrstuvwxyz]
321: pop 
level 1:(h=0,v=3801088,w=0,x=0,y=786432,z=0,hh=0,vv=241) 
322: y0 786432 v:=3801088+786432=4587520, vv:=291 
323: push 
level 1:(h=0,v=4587520,w=0,x=0,y=786432,z=0,hh=0,vv=291) 
324: right3 1310720 h:=0+1310720=1310720, hh:=83 
328: setchar48 h:=1310720+152917=1463637, hh:=93 
329: setchar49 h:=1463637+538851=2002488, hh:=127 
330: setchar50 h:=2002488+364088=2366576, hh:=150 
331: setchar51 h:=2366576+364088=2730664, hh:=173 
332: setchar52 h:=2730664+480597=3211261, hh:=203 
333: setchar53 h:=3211261+480597=3691858, hh:=233 
334: setchar54 h:=3691858+0=3691858, hh:=233 
335: setchar55 h:=3691858+0=3691858, hh:=233 
336: setchar56 h:=3691858+305834=3997692, hh:=252 
337: setchar57 h:=3997692+305834=4303526, hh:=271 
[ 0123456789]
338: pop 
level 1:(h=0,v=4587520,w=0,x=0,y=786432,z=0,hh=0,vv=291) 
339: pop 
level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=2670) 
340: down3 1572864 v:=42152922+1572864=43725786, vv:=2770 
344: push 
level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770) 
345: right4 15229092 h:=0+15229092=15229092, hh:=965 
[ ]
350: fntnum0 current font is amr10 
351: setchar49 h:=15229092+327680=15556772, hh:=986 
[1]
352: pop 
level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770) 
353: eop